Synthesis of Finite State Machines:: Functional Optimization
by Timothy Kam,Tiziano Villa,Robert K. Brayton,Alberto L. Sangiovanni-Vincentelli
ISBN 13: 9781441951700
Format: Paperback (296 pages) Publisher: Springer US Published: 19 Feb 2010
Save for later
The Unknown Component Problem: Theory and Applications
by Tiziano Villa,Nina Yevtushenko,Robert K. Brayton,Alan Mishchenko,Alexandre Petrenko,Alberto Sangiovanni-Vincentelli
ISBN 13: 9781489973948
Format: Paperback (328 pages) Publisher: Springer Published: 25 Jan 2014